Variable abstraction and approximations in supervisory control synthesis

This paper proposes a method to simplify Extended Finite-state Automata (EFA) in such a way the least restrictive controllable supervisor is preserved. The method is based on variable abstraction, which involves the identification and removal of irrelevant variables from a model. Variable abstraction preserves controllability, and the paper shows how approximations can be used to ascertain least restrictiveness of the synthesis result. The approach has the modelling benefits of Extended Finite-state Automata, leads to optimal control solutions, and reduces the synthesis cost. An example of a manufacturing system illustrates the contributions

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Partial Order on the set of Boolean Regulatory Functions

Logical models have been successfully used to describe regulatory and signaling networks without requiring quantitative data. However, existing data is insufficient to adequately define a unique model, rendering the parametrization of a given model a difficult task. Here, we focus on the characterization of the set of Boolean functions compatible with a given regulatory structure, i.e. the set of all monotone nondegenerate Boolean functions. We then propose an original set of rules to locally explore the direct neighboring functions of any function in this set, without explicitly generating the whole set. Also, we provide relationships between the regulatory functions and their corresponding dynamics. Finally, we illustrate the usefulness of this approach by revisiting Probabilistic Boolean Networks with the model of T helper cell differentiation from Mendoza & Xenarios

Verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event System (DES) models. This technical note presents a new algorithm that tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure, called OP-Verifier, can be applied to (potentially nondeterministic) automata, with no restriction on the existence of cycles of 'non-relevant' events. This procedure has quadratic complexity in the number of states. The performance of the algorithm is illustrated by a set of experiments

Template design and automatic generation of controllers for industrial robots

The basic theory of supervisory control of discrete-event sys-tems is extended with the notion of templates, which sim-plifies the modeling of controllers since one can work with conceptual designs. In this work, software which provides support for the new design approach is presented along with its application to a robotic testbed

Trophic Ecology of Atlantic Bluefin Tuna (Thunnus thynnus) Larvae from the Gulf of Mexico and NW Mediterranean Spawning Grounds: A Comparative Stable Isotope Study

The present study uses stable isotopes of nitrogen and carbon (δ15Nandδ13C) as trophic indicators for Atlantic bluefin tuna larvae (BFT) (6–10mm standard length) in the highly contrasting environmental conditions of the Gulf of Mexico (GOM) and the Balearic Sea (MED). These regions are differentiated by their temperature regime and relative productivity, with the GOM being significantly warmer and more productive. MED BFT larvae showed the highest δ15N signatures, implying an elevated trophic position above the underlyingmicrozooplankton baseline. Ontogenetic dietary shifts were observed in the BFT larvae from the GOM and MED which indicates early life trophodynamics differences between these spawning habitats. Significant trophic differences between the GOM and MED larvae were observed in relation to δ15N signatures in favour of the MED larvae, which may have important implications in their growth during their early life stages. These low δ15N levels in the zooplankton from the GOM may be an indication of a shifting isotopic baseline in pelagic food webs due to diatrophic inputs by cyanobacteria. Lack of enrichment for δ15N in BFT larvae compared to zooplankton implies an alternative grazing pathway from the traditional food chain of phytoplankton— zooplankton—larval fish. Results provide insight for a comparative characterization of the trophic pathways variability of the two main spawning grounds for BFT larvaeVersión del editor4,411